An Optimal Transition-based Recovery Policy for Controlling Deadlock within Flexible Manufacturing Systems Using Graph Technique
نویسندگان
چکیده
Weighted Petri nets are common tools for modeling and validating discrete event systems involving resource allocation, such as flexible manufacturing (FMSs). A subclass of weighted called a system sequential with shared resources (S 4 R) has the power complex FMSs where execution an operation may require multiple types units some types. Deadlock resolution is crucial issue FMS. direct efficient policy developed in this paper detecting deadlock markings by extracting flow graph (WRFG) from S R recovering them synthesizing recovery-transition-based controller. This study contributes to field five folds: (1) R, integrated put forward robust supervisor synthesis; (2) it enhances algorithm WRFG reveal competitions different processes; (3) detect partial markings, technique finding circular wait graphs (WCWGs) presented; (4) WCWGs, designed design controller that resulting controlled becomes deadlock-free; (5) presents comprehensive analysis demonstrate proposed method using Integrated Net Analyzer (INA). With policy, not necessary generate reachability graph, making efficient. Finally, performance illustrated commonly used examples.
منابع مشابه
A Deadlock Prevention Policy for Flexible Manufacturing Systems Using Siphons
In this paper, we present a new deadlock prevention algorithm for the class Petri nets. A new class of net that is extended from SPR, called ESPR where deadlocks are related to unmarked siphons. This method is an iterative approach by adding two kinds of control places called ordinary control place and weighted control place to the original model to prevent siphons from being unmarked. We have ...
متن کاملAn Optimal Deadlock Avoidance Policy for Manufacturing System with Flexible Operation Sequence and Flexible Routing
This paper addresses the deadlock avoidance problems in manufacturing systems with sequence and route flexibility. It is shown that for a large class of such systems, through one-step look ahead, an optimal deadlock avoidance policy can be obtained. For a general system the authors present a system reduction method by which the system is reduced and the reduced system has an optimal deadlock av...
متن کاملA Petri net based deadlock prevention policy for flexible manufacturing systems
In this paper we illustrate a compositional method for modeling the concurrent execution of working processes in flexible manufacturing systems (FMS) through a special class of Petri Nets that we call S 'PI?. In essence, this class is built from state machines sharing a set of places modeling the availability of system resources. The analysis of S ' P R leads us to characterize deadlock situati...
متن کاملA correct and scalable deadlock avoidance policy for flexible manufacturing systems
Configuration flexibility and deadlock-free operation are two essential properties of control systems for highly automated flexible manufacturing systems. Configuration flexibility, the ability to quickly modify manufacturing system components and their logical relationships, requires automatic generation of control executables from high level system specifications. These control executables mu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2023
ISSN: ['2169-3536']
DOI: https://doi.org/10.1109/access.2023.3266456